#pragma once

void idle_threads_init(void);
